Test design - PDFSEARCH.IO - Document Search Engine

Test design
Results: 2041

#	Item
881	William M. McKeeman Differential Testing for Software Differential testing, a form of random testing, Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 1998-12-17 00:00:00 Software Software bug Compiler Test case ALGOL 68 Test design Test suite C Debugging Software testing Software engineering Computing
882	Microsoft Word - haig09.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-03-23 19:52:58 Electronic design automation Electronic design Logic in computer science And-inverter graph Retiming Logic optimization Combinational logic Automatic test pattern generation Logic programming Electronic engineering Formal methods Digital electronics
883	Wideband Synthesizer with Integrated VCO ADF4351 Data Sheet FEATURES Add to Reading List Source URL: www.analog.com Language: English - Date: 2012-05-03 13:43:11 Oscillators Radio electronics Electronic design Detectors Electronic test equipment Voltage-controlled oscillator Phase-locked loop Phase noise Frequency synthesizer Electronic engineering Electronics Electromagnetism
884	Microsoft Word - haig14.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-05-20 20:12:25 Digital electronics Electronic design And-inverter graph Retiming Logic optimization Automatic test pattern generation Combinational logic Formal verification Logic programming Electronic engineering Formal methods Electronic design automation
885	Signal and Noise Measurement Techniques Using Magnetic Field Probes Training and design help in most areas of Electrical Engineering Copyright © 1999 Institute of Electrical and Electronics Add to Reading List Source URL: www.emcesd.com Language: English - Date: 2014-04-30 18:39:31 Physical quantities Loop antenna Inductance Coaxial cable Voltage drop Test probe Shielded cable Capacitor Magnetic field Electromagnetism Physics Technology
886	IC-7600 User Evaluation & Test Report By Adam Farson VA7OJ/AB4OJ Iss. 4, November 30, 2011. Tests 11 (DR3 & IP3) and 19a (CW keying envelope) added. Replaces Iss.3, April[removed]Introduction: This report describes the Add to Reading List Source URL: www.ab4oj.com Language: English - Date: 2012-01-02 14:54:49 Telecommunications engineering Electronic design Roofing filter Radioteletype PSK31 Sideband Band-stop filter Superheterodyne receiver Electronic filter Electronic engineering Radio Amateur radio
887	Improvements to Combinational Equivalence Checking Alan Mishchenko Satrajit Chatterjee Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-08-09 21:17:37 Formal methods Logic in computer science NP-complete problems And-inverter graph Diagrams Boolean satisfiability problem Satisfiability Logic synthesis Automatic test pattern generation Electronic engineering Theoretical computer science Electronic design automation
888	A Comment on Variance Decomposition and Nesting Effects in Two- and Three-level Designs Add to Reading List Source URL: www.econstor.eu Language: English - Date: 2014-11-17 08:46:33 Design of experiments Statistical tests Parametric statistics Restricted randomization Intraclass correlation Multilevel model F-test Normal distribution Hierarchy Statistics Analysis of variance Statistical models
889	Incremental Sequential Equivalence Checking and Subgraph Isomorphism Sayak Ray Alan Mishchenko Robert Brayton Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-07-12 14:37:50 Applied mathematics And-inverter graph Electronic design automation Subgraph isomorphism problem Automatic test pattern generation Graph isomorphism Theoretical computer science Mathematics Diagrams
890	Scalably-Verifiable Sequential Synthesis Robert Brayton Alan Mishchenko Department of EECS, University of California, Berkeley Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-10-02 14:31:33 Electronic design automation Digital electronics Logic in computer science Electrical circuits And-inverter graph Retiming Automatic test pattern generation Formal verification Combinational logic Electronic engineering Formal methods Theoretical computer science

UPDATE